Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
171	Formal Modeling and Verification of CloudProxy Wei Yang Tan1 , Rohit Sinha1 , John L. Manferdelli2 , and Sanjit A. Seshia1 1 2 Add to Reading List Source URL: uclid.eecs.berkeley.edu Language: English - Date: 2014-07-29 02:30:42
172	On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width Gergely Kov´ asznai, Andreas Fr¨ohlich, Armin Biere Institute for Formal Models and Verification Add to Reading List Source URL: smt2012.loria.fr Language: English - Date: 2012-06-20 03:34:17
173	Paving the way for electoral reform Ben Smyth and Mark Ryan Formal Verification and Security Group, School of Computer Science, University of Birmingham May 19, 2010 Add to Reading List Source URL: www.bensmyth.com Language: English - Date: 2012-09-26 05:08:01
174	FORMAL VERIFICATION OF CRYPTOGRAPHIC PROTOCOLS WITH AUTOMATED REASONING by BEN SMYTH Add to Reading List Source URL: www.bensmyth.com Language: English - Date: 2012-05-24 07:24:41
175	Automatic Verification of Cryptographic Protocols in the Formal Model Automatic Verifier ProVerif Bruno Blanchet ´ CNRS, Ecole Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:57
176	Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2012-10-02 09:49:19 Formal methods Logic in computer science Models of computation Programming language semantics Abstraction Kernel Abstract state machines Semantics Denotational semantics Operational semantics Refinement Limit
177	Formal verification of quantum cryptography Dominique Unruh University of Tartu Abstract. Formal verification of cryptographic protocols has been an active research area for several decades, mostly in idealized symbolic Add to Reading List Source URL: software.imdea.org - Date: 2015-07-09 06:40:16
178	Toward Formal Verification of AMS Circuits Oded Maler, Thao Dang, Antoine Girard, Goran Frehse, Alexandre Donze, Tarik Nahhal, Dejan Nickovic, Colas Le Guernic, Rajarshi Ray, Romain Testylier, Noa Shalev ... CNRS - VERIM Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2011-12-07 13:39:22
179	A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-07-09 06:40:16 Theoretical computer science Logic in computer science Formal methods Mathematical logic KeY Formal verification Dynamic logic Automated theorem proving Logic Language-based security

UPDATE